perm filename CMTT8.360[360,GF]1 blob
sn#803157 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#≤
εt DB18A`Eλα∀ E↓@%↓@%↓@%↓@$x↓@@4x↓@@4x↓@@4x↓@@4x↓@@4p↓A4p↓A4p↓A4p¬∪A$hε∪ 00↓S 00↓S 00↓R`` β∩A⊂∧∩`` β⊃(D⊂λDBq8C p%CIP_βiP_β@iP_β@iP_β@iP_β@iP_β↓ P_αA PX&BiP`&@`` &@`p_&@a_&@a_&@a_&@a_&@`p &@`` %Ci x%CλT !Dα!8A@P_↓∪ADhεSP αS@0α∩`@8α∩`0H↓R`0H↓R@DP↓R@4P↓R@4P↓R@4Pα∩`0H↓R`0H↓R`@@↓S@0α∪P α∪!4p∧TT("⊃α⊃⊂E``%β) p&`P(&`p_&`p &a_&a_&a⊂_&a⊂_&a⊂_&a⊂_&a⊂_&a⊂_&a⊂_&a⊂_&a_&a_&`p &`p_&`P(%βI h%βλT "DB18@"∧PλRb∧h↓B4h↓B4h↓B4h↓B4h↓S 0 ↓S 0 ↓S!$h¬∪!$h↓A4h↓A4h↓S 4h↓B 4h↓B 4h↓B 4h↓B 4XλRB$XλQ(D0 ∧bq8D)!⊂%D)P_∧@iP_∧@iP_∧@iP_∧@iP_&@`@_&@`@_&BIPP&BIP_αiP_αiP_&@iP_&@iP_&@i0@%αI0@"Qλqλ Ebp0α`$p¬S!D`α@`T`α↓ DXα↓`4X↓B4Pαα4Pα∩@4P↓R@4P↓A@tP↓AA∧P↓A@tPαα4Pαα4X↓B4Xα↓@D`α↓ D`α@`Thε∪A5α@4("∩αA E`⊂8α↓i H↓α)08α↓iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iPp&CIPp&@a_&@a_&@a_&@a_&@a_&@a_&@a_&@a_%A`@8%α H%A`@8"Q ⊂x ¬bpλεRAtXεT5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RaTPπRaT("∩B↓⊂E``H'BjH*j@_*j@_*j@_*j@_*j@_*j@_*j@_*i0⊂β@i βi αA 0X%BIP0"Q 1λ ¬bpβAdPβ@`tPβAd`↓A@D`↓A D`↓A 4`↓A4`↓@`D`↓@@D`↓@@4`↓@ D`∧∪↓∀`α@ 4`α`4`α`4`↓A 4`↓A 4`↓A@4`↓A@4`↓A`4PβAdPβAdPβAd("∪α!_E`H%αI H&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%∧I!⊂%∧HT &DB18@`0β∩@p βR@p βS0λA⊂λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0λ↓@ λ↓S0⊂@@⊂⊂↓S0⊂@@⊂⊂↓S0⊂α@4`↓@@@⊂↓S0_↓`4`↓B4`↓B4`↓B4`↓B4`↓B4PβAtPβAtPβAt("∪BA E`⊂0αAi @↓B)08α↓iP_@@P_&@`⊂⊂α@iP_@@P_&@`⊂_αiP_↓@@_&@` ⊂αiP_↓`0_&@` _↓@iP_↓@@0_&@`0⊂↓@iP_↓@` _&@`0_↓iP_α@ _&@`@⊂↓iP_α`⊂_&@`P⊂@iP_α@@⊂_&@`P⊂@i08α↓) H↓A)08αAλT 'Dα!8@a$`ε∩adXα↓@DPααDP↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4PααDXα↓@DXπ∪↓Dh¬⊃(EλDBq8C p%CIP_β↓ P_β@iP_∧iP_∧iP_∧iP_∧iP_∧iP_β@iP_β↓ P`&BiPP&@iP_&@iP_&@iP_%Ai H%AhT (Dα!h@a$`ε∩adXα↓@DPααDP↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓A0_↓R@0 α@4Pα`@λα∩`@_βRad`ε∪!% ↓UE(↓U E0↓U@4("∀BA E`⊂X%βI0p&@`P &@`` &@`p_&@`p_&@`p_&@`` &@`P &C PX&BiP_α@iP_βiP_βiP_βiP_βiP_β`0λ&@``_↓iP_β` _%A`P0%α @0%A`` "Q
1 ¬bp β`$`εRadXα↓ TPα↓`DP↓B 4P↓B 4P↓R@DXαS↓∧h¬∀↓¬ αU@E0α∃`4P↓B@4P↓B@4PααDPαA@DPπRATP↓`d("∃α!_E`⊃λ%∧I!⊂%`P_αi _α@`@_%`P_αi _α@`@_)j _)j _)j _)j _)j _)j _)j _'B)`X'B(T *EαA8@ p βRA⊂⊂∧R`p βS 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S@00↓S@@ α∪a%∧∀@D("∃B!_E`8α↓i 8α↓i 8α↓i@_∧i@ β↓ P_βiP_βiP_βiP_βi`_αi`_αi`_αi`_αip⊂αIp_↓ip_↓ip_↓j⊂↓J⊂↓J⊂↓J⊂↓J0(A
⊂ "Q
q
¬bpλβ↓@dP∧↓↓∧Xβ↓@d`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4h↓α@$h↓B4h↓@@@⊂↓S 0λβ 4h↓@ `λ↓S 0λ↓@ λ↓S 0λ↓@ λ↓S 0λ↓@ λ↓S 0λ↓@ λ↓S@ λ↓@ λ↓∪@ λ↓@ λ↓∪@ λ↓@ λ↓∪@ λ↓@ λ↓∪@@ α∪@@ α∪`0 ↓Q(E@ ∧bq8A@00%A` 8%A@00&A@_'`0_'↓ _'@`⊂_'Aj((↓*⊂ (@j⊂ (↓*0'@`⊂_'@` _'`0_'`@_&A@_&@``_%A@@0%α @%A@@0"Q⊃⊂ EbpβAtP∧`tPβAth↓A@Dhα↓ 4p↓ADp↓A4x↓@`4x↓@@5↓@ 5↓@ 5λαT U⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5βSa∃βQ(EPλ∧Bq8Ci!%∧ _∧@i _∧↓ _∧i _β@j0 )@j _(A
⊂_(ip '@i`_&A P_β@i@_∧i0 ∧i0_∧@i!%∧ !"Q⊃⊂
∧α_βRa4Xε∩`@(α∪ 8↓U 5λβS!4X∧@ 4PαA@4P↓B4P↓B4P↓A`DPα↓ TXλS↓⊂β∪ P(αQ(F⊂ ∧bq8↓I 0%↓IP_&@iP_&@iP_↓A P_B Ph&A @(&A` &@a &@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&Ap &A` &A @(&C)P`'@ ("Q0x ∧α0β∪A$`ε∩`P α∩`@0↓∩@DP↓R@4P↓R@4Pα∩@@@↓R`@8↓R`` α∪↓Dp∧TT("→α!_Ea⊂0)AJ00+j`_+j`_'A _&C @h%A @(%A` %↓↓_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%↓p %A` %A @(&∧ P@AIp ↓AHT 2Cb!λ↓ Th∧S↓4`↓A DX↓A`4X↓B4P↓B 4PπRAtPπR@4X↓B4Xα↓`4`α↓ Dh¬SA∃αQ(F0λ∧"q8¬↓* @(B* ↓↓
_αJ_(i0p%βi x(j_(j_(j_(j_(j_(i0h%βi0h"Qq⊂ FB0α`Dpπ∪!th↓A0⊂↓∪@ α∪00↓S00↓S00↓S@ α∪ 0 ↓S!$h∧S λα∪ $h¬∪!T`πR`@@α∩@@Pα∩@0`↓R@0`↓R@0`↓R@@Pα∩`P0αS↓dhε∀d("~α!_E`0%↓I 0&@iP_&@iP_&@` (&BiP`&A 0 &AP_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_%α 00%α 8%α 00"Q
⊂x εβ0↓∪`Dxα∀$8α↓∀P∧RA∃↓T5↓T5↓T5↓T5↓T5↓RAdPπRAd("~A@p⊂F↓⊂⊂)↓
)@Hp ↓B)@P&B*0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@i0⊂α@i αi P%B)@0"Q
1_ Ebpλβ∩@tXβ∪@4p↓S@4p↓S@0⊂∧S@0λ¬∪@0⊂∧S@0 α∪@0_α∪@0⊂α∪@0λα∪A∧p∧∪A∀pα@Dp↓A4p↓A 4p↓A DX∧`tP∧@`tX∧`t("≠α⊃_E`⊂H%αI0H(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_%Ci!λ%ChT 6E"QλP⊂↓A4P¬@ dP S@_α`4`α`@_↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4Pβ@@P⊂αR@p⊂α@@TPβ@@P⊂αQ(Fp ∧b↓↓@ (%βI x&A 0 &AP_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_%α 00%α 8%α 00"Q
q ∧α(β∪!$`ε∪@ α∩`0@↓R`0@↓R@0P↓R@0P↓R@0P↓R@0P↓R@0P↓R`0@↓R`@0α∪@ α∪↓Dh¬∪`d("≤α!_D0↓A 0B !&A @(&A` &@a &@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&Ap &A` &A @(&C)P`&@` (&@iP_&@iP_&@iP_%α) H%α(T 8DbQHλ↓ @_↓S!λ↓S↓TXαATXα↓@DPα↓`DP↓B 4P↓B 4P↓B 4P↓B 4P↓B 4Pα↓`DX↓A`DXαAT`εS!λ↓S`@_↓U@50↓U@50↓U@50↓Ta∃⊂¬Ta∀("≤B!_λ∧⊂8↓A) @B)1λ'A@0 'A P⊂'A p '@ip_'@ip_'@ip_'@i0`%βI0`"Q∞0pλDα β $Xε∩ATPα↓ DP↓A`4P↓A`4PαRa∀h∧T@TP↓A`DP↓B4Pα↓`4PαA DPεRADP↓@d("≥α↓λ
E `⊂'@ip_'@ip_%CI x%βip_'@ip_'@ip_'@ip_β)p_α@ip_α@ip_α@ip ↓A
H(α
"Q∞Q⊂ Dαβ`dPβ`dPβ`dh↓A@4h↓A@4h↓A@4h↓A@4h↓A@4h↓A@4h↓A@4h↓A@4h↓A@4h↓A Dh↓A DhπSAdxα@@d("≥B!_λ∧⊂0α↓I @↓α 00α↓IP_βiP_βi`_αi`_αi`_αi`_αip_↓ip_↓ip_↓j⊂↓J⊂↓J0(A
⊂ "Q∞q⊂ Dα∧A∧P∧A∧P∧A∧`↓B4`↓B4`↓B4`↓B4`↓@@@⊂↓S ⊂α@$h↓@@⊂↓∪ ⊂@@⊂⊂↓∪ ⊂@@⊂⊂↓∪ 0λ@@⊂λ↓S 0λ@@⊂λ↓S P⊂αS@@⊂α∪@0 ↓Q(G@ ∧b↓A@08%A` 8%A@08'↓ '@` _(↓J((A
⊂ (A
0'@` _'@` _'`@_%A@08%α @%A@08"Q∂⊃⊂ F"λβ@`dP∧A∧Xβ@`dh↓A@4hα↓ 4p↓A4p↓A4x↓@`4x↓@`4x↓@@5↓@5↓@ 5↓@ %λ↓ %λαT E⊂↓T@5λα∀ 5λ↓R`@λα∩a∧XβSd`α⊃(GPλDB↓↓βi1%D 0_∧↓ 0_βA 0_β↓
0 (A*('A)` &Ap_&↓↓_%A↓⊂_%∧)!λ%∧(T ∧B18@α$P ∩B$h↓B 4h↓B 4h↓B 4h↓B 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧RA$P∧Q(@λ ∧bq8βA
⊂ (↓J⊂↓J⊂↓Ip_↓ip_↓ip_↓ip_↓i`_αi`_αi`_αiP_βiP_βiP_βiP_βi@_∧i@_∧i@_∧i0 ∧↓ 0_¬i1%∧I1"Q! ¬bp_¬∪↓DXπ∩`@0α∩@@@α∩@0P↓R@0P↓R@0P↓R@0P↓R@0 ↓↓4P↓@`@_↓R@0_α`4P↓@`@_↓R@0_α`4P↓A ↓R@0P↓R@0P↓R@0P↓R@0P↓R@@@α∩`@0α∩ad`ε∪!$("b!_E`p (A
⊂ (@ ⊂(@ ⊂(@ ⊂(@ ⊂'@` _'@` _'@` _'@` _'@@@⊂'`@_'`@_'`@_'`@_&A@ &@``_&@``_&@``_&@``_%A` 8%α @%A` 8"QA⊂ EbpλλRB$P ∩@0`↓R@0`↓Q`@_↓A@4hε∪!Dhε∪ 00↓Q`P↓C4P↓C4P ∩B$XλQ(@(
¬αq8DI! %DIP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧i08α↓i H↓α)08α↓hT β∧α!8@!tPλ∩atX↓B 4`↓B4`↓B4h↓A`4hα∪@4x↓S`5↓T4x↓S`4p↓S Dh↓A`4`↓B4`↓B4X↓B 4XπRB∧XπQ(@8λ∧Bq8↓@`@_%A@ 0%@`⊂_@@⊂_%`0⊂@@ _%`0⊂@ 0_%`@_↓@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_'α)`H'α(T ∧∧α!8A↓∀p∧SA∃λ↓T 5λ↓T 4p∧∪↓DXπ∩@P⊂↓@ TP↓A0_↓R@0 ↓@`4Pα@@0λαRad`ε∪A¬λ↓T 5λ↓T 4p∧SA∀p∧Q(@Hλ∧Bq8αα)`H'α*⊂_(@i0⊂α`0_%`@_↓@i ↓@` %@`0_↓i0_↓@` _%@`0_↓i0_↓@` _&` _↓i@ @`⊂_&Bi`H(↓*⊂_(@j⊂_(@i`H'α)`H"Q↓!⊂ Ebp0β∪a∧hε∪ @ α∪0@↓R`@@α∩`0P↓R`0P↓R`0P↓R`0P↓R`0P↓R`0P↓S0@↓S0@↓S0@↓S 00↓S 00↓S 00↓S 00↓R@0λ↓A0λ↓R@0λ↓A0λ↓R@p βR@p βR``(β⊃(Cλ∧Bq8β↓ `@&BI@ α↓ @_βi0_∧i0_∧i0_∧i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i0_∧i0_∧i0 β↓ @_βi@ α↓ PP'α
"Qε⊂pλEbp8↓∀4xα∪`DpαRa∧X∧∩`0⊂↓T5↓T5↓T5↓T5↓T5↓T5↓T4XεRaTXεQ(C⊂λ∧Bq8αAIPP%C) β↓) βA ∧↓ ∧@i0⊂¬jp_+@j` *A
P_*↓
0 (A* 'A ` &A`_&↓p_%Ci!%ChT →Dα!8A d`¬RaTXα↓ TXα↓@DXα↓`50↓U E(α∃Dx∧∪`tx∧∃ E0↓U@E8↓R@@H↓R@@@α∩@@@α∩@@8α∩aT`¬S@t("
α!_Ea((AJ⊂⊂@j_@j_@ip_↓i` ↓i`_↓@iP ↓@iP_αi@ αi0 α@i0_βi βi!⊂%∧I!⊂*j@_*j@_(αjX(αhT ~Dα!8@ADXεRaTX↓R`4X↓R`4X↓R`4X↓@ dXε∩aTXα↓@D`↓αE0α∃`4X↓α@4Pαα 4PααDPα↓`DPαA TXεS↓$pβ⊃(C0λ∧Bq8∧↓)pH'αiP(↓A @ αA @_β@I0 %@i %` @%`⊂P%βi (β↓ ∧↓ ∧@i _¬i ∧@i0_∧@i0_∧↓ 0 β@i@ α↓)PX'α*("Qεq εβ↓RB∧Pλ∩B∧P↓BDP↓A`E ↓T`5_↓T@5⊂↓T 5λ↓T 5↓T5↓T4x↓S`4x↓S`4x↓S`4x↓Q(C@λ∧Bq8αAIPP&β 0 β↓ ∧↓ _¬i _¬i _¬i0_∧i@(↓↓)PP'α @`%A` %@a_%a _%a _%a _%a _%@a_%A @(&β PP'AHT ≤Dα!8A dh∧S↓DXαADXα↓@DPαα4P↓B 4P↓B DP↓B@4P↓B DPααDXα↓@TXπS↓ λ↓S!⊂↓U@E0↓U D`↓↓`DXα↓ DXα↓DX¬S↓∀pαQ(B λ∧CaX∧J⊂_(@j⊂_'AIPP&β)0 ↓`⊂ %↓0_↓↓ _α` %`@_↓↓ _α` %↓0_%A ⊂_&α PP(α
⊂@(@` %@@@_↓↓ ↓@`0_%↓0_↓@i _α`0_%↓0_↓↓ 0 ↓`⊂ %C)PP'AJ⊂_(@j ⊂"Q∧a⊂ Ebp0↓S@dpβ∪ 0⊂↓S 0⊂↓S 0⊂↓S 0⊂↓S 0⊂↓@ dh↓@ 0⊂β∪ p⊂β∪ `_↓S@@ ↓S @ ↓SP ↓R`p⊂↓R`0λ↓@@4P↓@`0λ↓R@0_β∩@0 α@`∀P↓A 0_↓R`0_α@@4Xλ∪pλβ∪ @(↓Q(Cxλ∧Bq8αα @`%CI βA) ∧@i ∧@i0⊂∧↓*00)↓*⊂((↓
_(j_(j_#A`⊂'A p (HT πDα!8π↓@$xα∪`E↓⊃`@0↓T4xα∪`4x↓S@Dhα∪TXαR@@H↓∩@0Hα∩@0Hα∩@@@α∩ad`ε∪A∧("∧↓q⊂λ∧H%α) H(j_(j_(j_(j_(j_(i p%βi p"Qα⊂`πε"_∧S↓$h∧T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓R` (↓R@@ ↓RA$X∧Sd("ε"1_Ea0(αI`p'↓` 'a_'`p '``(%A@ @%↓` 0%A@ 8'`P('`p '`p 'a 'a 'a⊂_'a⊂_'a⊂_'a⊂_'`0⊂↓A `_↓↓⊂ %A@ H%↓` @%A@@ "Qβ!⊂ Dα_αA4X∧ dXλ∩`@⊂α@@4`↓↓@_↓T@0 ↓T@0 ↓TA$hπRb∀Pβ@4P↓A 0 ↓R@0(α`4Pα``⊂↓RB∀X∧@d`αA 4("εb!_λ∧@_α@i@8AI1%A⊂0↓i0_↓A 0_%`P_αi _α@`@_%`PP%`PP%`PP%`P_%↓0 αi0_↓A 0_%A⊂8↓i1&↓` 0'`P_"QβA⊂ G"qV 5H↓V58α∃`50↓T↓∀p¬∪!D`α↓dXα↓↓∧X↓A 0⊂↓R@0(↓A4P↓A 0 ↓R@0 ↓A 4P↓A0(↓R@0_↓A@4X↓@ @(↓R`p(α∪P(α∪!Dh¬S!∀`↓R`DX↓R@4P↓R`∀("π"!_E`@p'βI`p'@`⊂_↓@ip_@`0_'@`⊂_↓@ip_@`0_'` _'` _'` _'` @'` @&@`0@&@`0_&B)PH&B)P_↓@`0_&`@_↓@i@_α`0_&`@_↓@i 0↓αI 0↓αI 0↓αHT ∂∧B18@atXλRb∀X↓A@_↓R@@(↓@`4P↓A@0_↓R@00↓@`4P↓A@4P↓A@4P↓A@4P↓AA∧P↓AA∧P↓AA∧P↓A@4P↓A@4P↓A@4P↓A@4P↓A@0_↓R@00↓@`4Pα↓ 0_↓R`0 α`4XλRb∀hπQ(Axλ∧CqX¬j@_*j0_&BI@`%CI0 ↓Ai α`⊂ %`P_↓i _α@` _%`@_↓@i _α`0_%`@_↓@i _α`0_%`0 ↓@i _↓@`@_%`0_αi _↓@`@_%`0_αi _↓`P_%` _α@i _↓`P_%↓⊂_α↓ 00α↓ 0p&β PP&@iP_&@i`λ"Q∧⊂ ε¬bpλ↓∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D8α $Pα∩@DX↓⊃(@pαβαpp@I %↓ 0⊂#A %↓ %↓ %↓ %↓ %↓ %↓ %↓ %@HT ⊃DB18A@ ↓∪`@⊂α∪`@⊂α∪`@⊂α∪`@⊂α∩b∧P ∩B$P ∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∩B$P ∩B$Xλ∪ @⊂α∪ @⊂α∪ @⊂α∪ @⊂α∪@ ↓⊃(B( ∧caX↓a⊂%A ` %↓`P %↓`@(%`⊂_α↓ _@`@ %`⊂_↓A) _@`0 %↓` (%↓` %A 0 &`0()↓
(A*⊂ (↓* (↓ p('A p αi`(↓A)` ↓AiP(↓@`⊂_&A@_@iP α`⊂_&↓ @_@i@ αAi@ β↓)P⊂∧hT ∪AAP`@@$Xα∩`T`α∪ 4h↓S 4`α∪4Xα∩@DP↓R@$("
↓1∂Fa_(A p('↓ `_&A @ &i0 %@i0_%↓ _%i _%i _%i _%i %@i0_%A @_&↓ P 'i` 'A*⊂ )hT ∀Baqx
@4Pα∩`Thα∪@4pα∪`E↓TEλ↓T 5λα∀@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T Eλ↓T 5α∀4xα∪@Dp↓S DXαR@DP↓Q(BPλ∧B↓ β@J⊂_(@I0λα@@Pλ%↓0⊂↓A (↓@ (%CI`@(↓ `@%CI (↓@ (%↓0⊂↓A 0λα@@Pλ(@J⊂_(@HT ∃Dα!λ
↓`%α∀Eα∀Eα∀DXπ∩B∧Pλ∩aeα∀Eα∀Eα∀Eλ↓⊃(B`βCA ↓i0(%AI00&↓)`_&A @ %A) (%@HT ↔↓!P α 4PαR@TPαR`4("b↓⊂∂εaP⊂+↓
` *A*P *↓*@ )A*0 )↓* )↓
⊂((A
((↓ p('A `('↓ ` &A)P &↓)@ %A)0 %↓) %↓ 0⊂"Qπ (εDαλ↓R@TPαR@TX↓Q`pλ↓R@TPαR@TX↓Q(CXββ"a↓i0(%A)0(&hp8↓i0(%A)0(&↓ P_&↓ @_%↓) %@HT ≡Dα Xλ@!dPλ∩B∧Pλ⊃`@λ∩B∧Pλ∩ad("⊂α⊃_E`p('B)`X&A @ &↓08%A H%A P%@` ↓↓) A@ %` α↓ _↓``_%` _βi _↓``_%` _βi _↓↓@ %↓⊂ α↓ 0_↓↓ %A @%A @&↓0 &A P 'β)pP(AHT -Bb1p
@↓4P¬RA4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓RA4P¬RA4("↔!0`∂ε`X%αi X)j _)j _)j _)j _)j _)j _)j _)j _)j _)j _)j _)j _)i X%αi X"Q0εCβ ↓∪ 4`α∩`DX↓R@DP↓R@4P↓R@DPαR`D`↓⊃(A⊂∧β A8i %A)@('hT B↓p A 4pα∪TXαR`4("¬↓Aα¬@_βi (↓↓) `&α ` "QαPpλ@bpλ↓α4Pπ∩Ad`¬⊃(A0π∧ !0βI p%C(T AAP @ DPβ∩@ ⊂↓∩@dXα⊃(A@¬D! ⊂αI`_'↓ `('↓J⊂ )j⊂ %αI H%↓hT /βα(A $hβ∪↓∧Pα@@TPα↓DXB∀("∨AAα¬`0_↓@I@(A `%↓⊂(%@@0_"Q∂p`λcλ↓A4X↓A4X↓A4X↓A4(""↓⊂↓C ⊂p%∧ !%CHT ε∧B18B%λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DX↓↓@ ↓∩`@⊂α@DXα@ @λαS!Dp¬∀eλα∀ E⊂↓⊃(@X ∧bq8∧J⊂ (A
0'αIP`%A ⊂ A)0 ↓↓ %@@@ αJ⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂"QπA ¬"`h↓∃@E β∀`eλβTtxβ∪ t`β∩`dPβ∩@dXβ∪dhβS`eβT u_β∃e0α∃`$("∂B↓⊂
E@⊂⊂%↓ 0%AI@8&Aip0(↓j 0)AJ@0*↓J00)↓J8'AIP8&↓i00%↓I %@HT_¬x␈␈␈␈x⊂↓⊂␈␈␈␈`␈␈␈␈xCI!%∧ 0p"QA πC0λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ Tpα∪@DpαS`DxαTEαT EλαT@E⊂α∀@U_α∀`U α∃U(α∃ U0α∃@E8↓⊃(G`αββaX@I %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %@HT =Dα!p
B`U_βT!∃λα∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 4xαRA∀PβRA∀xαT 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λα∀!∃_βU T("∨"↓⊂∂ε`0%α P(↓
⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(A* @*↓J @(A*⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(↓ P%α 0"Q∧ pλBc⊂B∀X↓A@4Pα↓@DX↓A@4X↓A@4X↓A@4X↓A@4X↓A@4X↓A@4X↓A@4X↓A@4X↓A@4("β @`¬¬` %↓ %↓ %↓ %↓ %↓ 0⊂"Q∧↓ βA⊂↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$Pλ∩B∧(wCm⊗ 2[NFH3~,W⊂⊂⊂iU *;dε_7Y
⊗p3\l6@2[,R*→+α:≡.ε(;\M↔ 2\Dπ 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞p∨λl@@
x!rN0α>fpα>fpα←x␈␈}`β?0¬ @@αλ∨}`λ
@↓λ∧↓←=@!(α⊂@α⊃H{bP∧ ↓∧0∂0α¬ @@αλx>`(
@↓λ∧↓⊂=@a(α⊂@α'8{↓bP∧ ↓∧Wo0∧¬ @@α C}`H
@↓λ∧↓_+=A!(α⊂@α;λ{αbP∧ ↓λ≡/0ε¬ @@α⊂+}`h
@↓λ∧α_∧=Aa(α⊂@β<⊂{βbP∧ ↓ε∧?0λ¬ @@α↔≡aλ
@↓λ∧↓@B⎇B!(α⊂@β⎇⊂{∧bP∧ ↓π|?0
¬ @@α∂⎇≡a(
@↓λ∧α∧⎇Ba(α⊂@∧↓P{¬bP∧ ↓λ∧␈0¬ @@α⊂∞↑aH
@↓λ∧↓@b=C!(α⊂@β∩H{εbP∧ ↓ε.O0∞¬ @@αr>ah
@↓λ∧↓P_=Ca(α⊂@β)X{πbP∧ ↓ε`o0⊂¬ @@α⊃I>bλ
@↓λ∧↓XH⎇D!(α⊂@∧-λ{λbP∧ ↓ε}?0∩¬ @@αA↑b(
@↓λ∧↓`%=Da(α⊂@αwh{ bP∧ ↓π→?0∀¬ @@α∞;≡bH
@↓λ∧↓h→⎇E!(α⊂@βWP{
bP∧ ↓π7?0⊗¬ @@α∞y↑bh
@↓λ∧αP=Ea(α⊂@β`_{bP∧ ↓πBO0_¬ @@α
ε↑cλ
@↓λ∧↓ :⎇F!(α⊂@αJp{bP∧ ↓¬≡?0~¬ @@α
N≡c(
@↓λ∧↓(C⎇Fa(α⊂@α\p{
bP∧ ↓¬D∨0≤¬ @@α↔↑cH
@↓λ∧↓0Y⎇G!(α⊂@βeH{∞bP∧ ↓πNo0≡¬ @@α⊂M>ch
@↓λ∧↓pO⎇Ga(α⊂@∧⊗@{∂bP∧ ↓¬⎇/0 ¬ @@α∂.≡dλ
@↓λ∧⊃⎇H!(α⊂@πp{⊂bP∧ ↓~?0"¬ @@αH≡d(
@↓λ∧λ=⎇Ha(α⊂@≤P{⊃bP∧ ↓B∨0$¬ @@α↓~≡dH
@↓λ∧⊂d⎇I!(α⊂@0{∩bP∧ ↓g←0&¬ @@α↓h≡dh
@↓λ∧_o⎇Ia(α⊂@G {∪bP∧ ↓↓∨␈0(¬ @@ααV↑eλ
@↓λ∧(Q⎇J!(α⊂@a{∀bP∧ ↓↓N∨0*¬ @@αβ/≡e(
@↓λ∧8↓⎇Ja(α⊂@v {∃bP∧ ↓↓x←0,¬ @@α∧∀↑eH
@↓λ∧@T⎇K!(α⊂@↓∂0{⊗bP∧ ↓πd␈0.¬ @@α⊂o>eh
@↓λ∧↓x6=Ka(α⊂@∧¬8{↔bP∧ ↓λ3?00¬ @@α∂l>fλ
@↓λ∧H≡⎇L!(α⊂@↓↔P{_bP∧ ↓α9←02¬ @@α¬≡f(
@↓λ∧P)⎇La(α⊂@↓(P{→bP∧ ↓αX←04¬ @@α¬I≡fH
@↓λ∧X<⎇M!(α⊂@↓:`{~bP∧ ↓α}←06¬ @@αε∩≡fh
@↓λ∧`?⎇Ma(α⊂@↓N0{≠bP∧ ↓β%←08¬ @@αε[≡gλ
@↓λ∧ha⎇N!(α⊂@↓a`{≤bP∧ ↓βI←0:¬ @@απ"≡g(
@↓λ∧pb⎇Na(α⊂@↓p`{≥bP∧ ↓βj∨0<¬ @@απl↑gH
@↓λ∧xx⎇O!(α⊂@α∧P{≡bP∧ ↓λH␈0>¬ @@α⊃↑gh
@↓λ∧α⊂F=Oa(α⊂@∧π{∨bP∧ ↓λ⊃∨H∧:PAw{⎇xow{⎇x